TSTP Solution File: GRA059^1 by Refute---2015